#Tue Jun 02 23:54:59 ART 2015
eclipse.preferences.version=1
tipsAndTricks=true
platformState=1417128795199
EXIT_PROMPT_ON_CLOSE_LAST_WINDOW=false
quickStart=false
PROBLEMS_FILTERS_MIGRATE=true
